RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·6h
🔬Static Analysis
2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
reddit.com·21h·
Discuss: r/programming
🔄Reproducible Builds
The pest book is finally complete now!
github.com·21h
🔬Static Analysis
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·1d·
Discuss: Hacker News
📦Unikernel Systems
Web Embeddable Common Lisp
ecl.common-lisp.dev·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
How JIT builds of CPython work
savannah.dev·1d·
Discuss: Hacker News
🐫Embedded OCaml
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
🔬Static Analysis
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·2d·
Discuss: Hacker News
🔬Static Analysis
Blog series on creating an OS in Rust
os.phil-opp.com·22h·
Discuss: Hacker News
🔬Unikernels
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·1d·
Discuss: r/programming
🤖Program Synthesis
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·14h·
Discuss: Hacker News
🤖Program Synthesis
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.org·1d
⎈Kubernetes
Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org·1d
🏹Effect Systems
MethodHandles And Bad Benchmarks
github.com·1d·
Discuss: r/programming
👁️System Observability
A local, portable, single-file web server in C
macrobean.site·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·18h·
Discuss: Hacker News, r/LocalLLaMA
🔄Reproducible Builds
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·18h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml